معنای الگوریتم zk SNARK در زنجیره بلوکی یا زنجیره بستکی (همان دنیای بلاک چین، Blockchain) روز به روز در حال کامل تر شدن و توسعه یافتن است. آنچه در بلاک چین مهم است، صحت اطلاعات و داده های رد و بدل شده با حفظ محرمانگی آنها است، بدون اینکه داده ای بر ملا و آشکار شود. در حقیقت با استفاده از این روش، ثابت می شود که کاربر در شبکه، یک فرد قابل اعتماد است و توانایی این را دارد که تمام اطلاعات را حفظ کند. اهمیت محرمانه بودن اطلاعات و احتیاج به این پروسه منتهی به ساخت و توسعه فناوری دانش صفر شده است. الگوریتم zk SNARK و الگوریتم zk STARK از فناوری های بسیار مهم در بلاک چین به شمار می رود.
چیستی الگوریتم zk SNARK
لازمه شناخت از تکنولوژی استارک (STARK) و اسنارک (SNARK)، آگاهی کامل از اثبات دانش صفر (Zero Knowledge Proof) است. برای اولین بار، توسط ادوارد اسنودن در پلتفرم توییتر، اثبات دانش صفر منتشر شد. اگر کمی دقیق باشیم، قبل از انتشار توسط اسنودن، ایده و فکر Zero Knowledge Proof (اثبات دانش صفر) نتیجه پژوهش های چندین پژوهشگر MIT بود که زمان آن به سال های 1980 بر می گشت.
فرآیند اسنارک یا الگوریتم zk SNARK، یک روش ویژه ای است، بدون آن که بخواهد داده ای را بر ملا کند، به اپراتور تاییدگر مجوز می دهد تا توانایی و تسلط اش را بر اطلاعات، اثبات کند. در حقیقت این رویکرد، تائید علم و آگاهی کاربر، بدون علنی کردن اطلاعات مالی و فردی است. کاربر تاییدگر، به روش هایی نشان می دهد که بر اطلاعاتی احاطه دارد و با وجود آگاهی و توانایی بر انتشارش، با امانت داری، آن اطلاعات را منتشر نمی کند. در این ساختار، اگر تایید کننده آگاه نباشد و ادعای آگاهی از اطلاعاتی بکند، به سرعت فهمیده می شود و قابل راستی آزمایی است.
ادامه مطلب...